大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

0
索取号：
作者：Butler、 Michael.、Schulte、 Wolfram.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

0
索取号：
作者：Schmid、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

0
索取号：
作者：Romanovsky、 Alexander.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Damped Oscillations of Linear Systems [electronic resource] : A Mathematical Introduction

0
索取号：
作者：Veseli膰、 Kre拧imir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

0
索取号：
作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Bioinformatics Research and Applications [electronic resource] : 7th International Symposium, ISBRA 2011, Changsha, China, May 27-29, 2011. Proceedings

0
索取号：
作者：Chen、 Jianer.、Wang、 Jianxin.、Zelikovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Process Improvement and Capability Determination [electronic resource] : 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 鈥ʵne 1, 2011. Proceedings

0
索取号：
作者：O鈥機onnor、 Rory V.、Rout、 Terry.、McCaffery、 Fergal.、Dorling、 Alec.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

0
索取号：
作者：Dingel、 Juergen.、Solberg、 Arnor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part III

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part I

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part II

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

The Art of Software Innovation [electronic resource] : Eight Practice Areas to Inspire your Business

0
索取号：
作者：Pikkarainen、 Minna.、Codenie、 Wim.、Boucart、 Nick.、Heredia Alvaro、 Jos茅 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Relating Software Requirements and Architectures [electronic resource]

0
索取号：
作者：Avgeriou、 Paris.、Grundy、 John.、Hall、 Jon G.、Lago、 Patricia.、Mistr铆k、 Ivan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modern Mathematical Tools and Techniques in Capturing Complexity [electronic resource]

0
索取号：
作者：Pardo、 Leandro.、Balakrishnan、 Narayanaswamy.、Gil、 Mar铆a 脕ngeles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Science-Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

0
索取号：
作者：Kulikov、 Alexander.、Vereshchagin、 Nikolay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings

0
索取号：
作者：Sillitti、 Alberto.、Hazzan、 Orit.、Bache、 Emily.、Albaladejo、 Xavier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.